約 5,594,097 件
https://w.atwiki.jp/gcg00467/pages/23.html
思い立って,C言語の検証関係を調べてみた.まだまだ調査は足りない. Wikipediaの「静的コード解析」のページから http //ja.wikipedia.org/wiki/静的コード解析 BLASTとSLAM もちろん,BLAST と SLAM はある. SLAMは Wikipedia にはでていない.... VARVEL NECの検証ツール.2009年発売予定?? 基本的には有界モデル検査. ただし,assertion, pre/post condition も書けるように拡張している.静的解析を併用して探索空間を少なくする,といった工夫があるらしい. 以前は,F-test と言っていた. F. Ivancic et al:Model checking C programs using F-Soft. Invited. paper in the Proceedings of the IEEE International Conference on. Computer Design (ICCD), October 2005. http //ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1524168 橋本ほか 形式手法によるC言語検証ツール 「VARVEL」 http //www.google.com/search?client=opera rls=ja q=Model+Checking+C+Programs+Using+F-SOFT sourceid=opera ie=utf-8 oe=utf-8 QAC メーカーのウェブページ http //www.programmingresearch.com/QAC_MAIN.html#1_4 を見た感じだと,コーディングスタンダードをenforceする,ということみたい. Coverity Coverity (http //www.coverity.com/) は会社の名前. 製品は,Coverity Prevent for C/C++ など,いろいろある. 原理がちゃんと書いてあるものは見つからなかったが,以下のようなことができる, と書いてある. Concurrency Issues . Double locks, missing locks . Locks acquired in incorrect order . Locks held by blocking functions Memory Corruption and Mismanagement . Resource leaks . Calls to freeing functions using invalid arguments . Excessive stack use in memoryconstrained systems Crash-causing pointer errors . Dereference of null pointers . Failure to check for null return values . Misuse of data contained within wrapper data types CQUAL 型推論ベースのC言語検証ツール. http //www.cs.umd.edu/~jfoster/cqual/ 2004年以来更新されていない. Caduceus おなじみの Caduceus. http //caduceus.lri.fr/ Review-C NEC のツール.http //rec.ncos.co.jp/ コーディングスタンダードからの逸脱の指摘が中心で, あまり難しいことはできないようだ. CBMC Clarke先生のところの,C Bounded Model Checker. http //www.cs.cmu.edu/~modelcheck/cbmc/ これも開発は止まっているようだ.
https://w.atwiki.jp/mokalog/pages/24.html
C言語の基礎の基礎 最低限覚えて欲しい命令一覧とちょっとの説明。 GCC Deceloper Lite Download 参考サイト(3664,3694Fで始めるH8) C言語の基礎の基礎#include #define printf scanf while(式) for(初期条件;式1;式2) if else switch case int float char 演算子+ - * / % = | == != ++ -- += -= = |= || 関数 #include とりあえず基本。意味はファイルの読み込み。おまじないだと思ってもOK。 #include stdio.h printfとかscanfを使えるようにする。基本。マイコンには要らない。 #include 3664.h H8/3664の定義ファイルの読み込み。 これを書かないと始まらない。一番最初に書く。 #define ある文字を違う文字に置き換える。 #define MD1_1 P1.DR.BIT.B6 #define MD1_2 P1.DR.BIT.B7 #define MD1_P ITU3.GRA モータードライバをPort1のBit6と7とPWM制御するときの書き方の例。 こうすると、MD1_1=1とかってするだけで良いから書くのが楽かも+ミスの防止になる。 欠点は、他の人が読むと意味がわからん。 #define LED_ON() P5.DR.BIT.B0=0 #define LED_OFF() P5.DR.BIT.B0=1 いわゆるマクロってやつ。LED_ON();とするだけでLEDが点く。見やすい。わかりやすい。 #define ever (;;) プログラム中に"ever"ってあったら、"(;;)"に置き換える。 つまり"for ever;"で無限るーぷ。ネタ。 printf 画面に文字列を表示する関数。 printf("Hello,World!\n"); 画面に"Hello,World!"と表示して、改行。"\n"が改行の意味。 printf("data=%d\n",data); 画面に"data="と表示した後、変数dataの内容を表示して改行。 scanf キーボードからデータ入力する関数。 while(式) 式の答えが1(真)の間繰り返す。 while(1); 無限に繰り返し。 while(n =0){ 繰り替えし内容 } nが0以上の間{ }の中を繰り返す。 for(初期条件;式1;式2) 繰り返し命令。 初期条件を実行→式1が正しければ繰り返し内容を実行→式2を実行する→式1が正しいか判定。 for(n=1;n =5;n++){ 繰り返し内容 } nを1にして、一回繰り返すごとにnを1ずつ増やし、nが5より小さかったら繰り返し。 for(;;); これも無限に繰り返し。 if else 条件判定。 switch case 多数の条件判定。 int 整数型変数宣言。 float 実数型変数宣言。要するに小数が使えるようになる。 doubleっての使えばさらに精度が良くなる。 char 文字型変数宣言。 演算子 + 足し算。 - 引き算。 * かけ算。 / 割り算。 % 割り算のあまり。 = 代入。 AND演算。 | OR演算。 == 等しい。 != 等しくない。 ++ a++; a=a+1;と同じ。 -- a--; a=a-1;と同じ。 += a+=b; a=a+b;と同じ。 -= a-=b; a=a-b;と同じ。 = a =b; a=a b;と同じ。 |= a|=b; a=a|b;と同じ。 AND演算。(複数の式のANDをするとき…だと思う) || OR演算。(複数の式のORをするとき…だと思う) 関数 ここでは自分で作る関数という意味で。なんか便利なやつ。 同じ処理を繰り返すときはした方が良いかも。 ロボコンではマイコンの初期設定とか関数化することが多いかな。
https://w.atwiki.jp/jyokenclasses/pages/13.html
C言語講習のページです。 0.C言語の概要とプログラミングの基本0.1.プログラミングってなに? 0.2.エディター・ソース・コンパイラ 0.3.C言語の概要 0.4.要点紹介 1.標準入出力と変数と数値計算1.1.標準出力関数 1.2.変数・数値と演算の基本 1.2.変数・数値と演算の基本② 1.3.標準入力
https://w.atwiki.jp/slimelv1024/pages/49.html
こちらではC言語講座で扱う関数の詳しい使い方を載せておきます。 使い方がわからなくなった方や、もっと詳しい使い方を学びたい方はどんどん利用しちゃってください。 変数 入出力 条件分岐 ループ文 配列 ポインタ 関数 ファイル入出力
https://w.atwiki.jp/learnc/pages/17.html
C言語って何? C言語は1972年にAT T社(日本で言うNTTのような会社)のベル研究所で開発されました。
https://w.atwiki.jp/nakamura_wiki/pages/14.html
C言語に関するTipsを記載する
https://w.atwiki.jp/cschola/pages/47.html
C言語スコーラ このページはC言語スコーラ前期のC言語の取りまとめページです。 C++のページはこちら カリキュラム 序章 スコーラの進め方 第一回 プログラムの作り方 文字出力 コメントアウト 第二回 数値の表示 変数 変数の種類 入力を求める インデント 第三回 if文 switch文 第四回 while文 for文 第五回 ここまでのおさらい 練習問題とTIPS 第六回 配列 多次元配列 文字の配列 第七回 関数 値を返さない関数 標準ライブラリ関数 第八回 構造体 列挙型 復習問題 第九回 ファイル分け ヘッダの使い方 extern変数 第十回 ポインタ ポインタ応用編 構造体のポインタ 第十一回 bool型 おまけ ゲーム制作 管理人メモ
https://w.atwiki.jp/upeo/pages/19.html
C言語の慣習
https://w.atwiki.jp/saikyoumousou5/pages/2416.html
/*C言語成人男性*/ stdio.h math.h int main(void){ int a,b,c,d,e,f,g,h,i,j,k,l,n,m,o,p; char q[] = "0123456789"; a=1; a=a++; a=a*a; a=a%3; b=100; d=1; for(c=1;c =b;c++){ d=d+c; } e=2; f=6; g=pow(e,f); h=1; i=10; for(j=1;j =i;j++){ h=h*j; } k=2; l=2; n=pow(l,k); m=3; o=3; p=pow(m,o); printf("【妄想属性】暗号テンプレ、C言語\n"); printf("【作品名】嫌がらせ\n"); printf("【名前】C言語成人男性\n"); printf("【属性】嫌がらせをするために生まれてきたキャラ\n"); printf("【大きさ】成人男性の%d倍\n",a); printf("【攻撃力】パンチ%d発で%dメートルの鉄球を粉々にした\n",a,d); printf("【防御力】新幹線の衝突に%d回も耐えた\n",g*2); printf("【素早さ】音速の%.1f倍の戦闘速度\n",h/1000.0); printf("【特殊能力1】精神耐性×%c%c\n",q[p-25],q[n]); printf("【特殊能力2】念動力で%.2fメートルの岩石を%dm/sの速度で移動させた\n",(double)(g+n+p)/3,a+9); printf("【長所】嫌がらせ\n"); printf("【短所】このテンプレの作者はタヒんだ方が良いと思います\n"); return 0; } ◆考察記録--------------------------------------------------------------------------------------------------------------------------- 85 : ◆JQVmYGE23Y :2017/06/04(日) 07 39 54.50 ID CnaTKKOD 【攻撃力】の鉄球の大きさが半径%dメートルなのか 直径%dメートルなのか不明 情報待ち 86 : ◆omTDoIF0bw :2017/06/04(日) 08 50 33.97 ID KHPuewzN 85 直径でおねがいします 121 : ◆llyMtx4ftn46 :2017/06/17(土) 00 37 44.71 ID jN+EG9N5 C言語成人男性考察 速度が速い。 音速*3628.8 = 1,233,792m/s = 4,441,651.2km/h。 亜光速反応広範囲攻撃の壁付近と思われる。 まずは上から。 ◯ 金(仮名) チゲ弾はかわせるだろう。殴って勝ち。 × イシュタル 相手は物理無効。目が合えば負ける × 大々怪獣ゴジラ 相手は再生するため攻撃は効かないに等しく、熱戦を乱射されてもし当たればその時点で負けるだろう × ゼット 攻撃する時は視認する必要があるだろう。自殺負け × エウリュアレ 石化負け きついか、下を見る。 △ 冥王星マン 相手の攻撃は当たらないが、こちらの攻撃も効かない ◯ ダークキリサキ 殺し続けて勝ち × 機動刑事リョウマ(ry 防御が高すぎる。新世界逃亡からの世界破壊負け ◯ ざりがに 相手よりも速い。直径10kmの隕石を砕く攻撃を数百発で戦闘不能になるので、 その半分の鉄球破壊の攻撃力も通じるのではないだろうか。 × ボッ夜叉ール 相手は光速反応のため、カウンターされる。高層ビル蒸発とか山破壊以上の攻撃でもこっちには通じそうだ × 地上最強の男 速すぎる、強すぎる。一方的に殴られて負け ○ 烏丸与一 攻撃は効くと思われる。反応差で圧倒的に有利のため勝ち ○ 単純テンプレキラー 速さは圧倒。殴って勝ち。 ○ シモン・ベルモンド やはり速さで圧倒。殴って勝ち。 これ以下も余裕で倒せると考える。 地上最強の男 >C言語成人男性>烏丸与一 306アリゲラα ◆jhlUsrQYEQ 2019/07/23(火) 21 15 33.83ID RX56krPl C言語成人男性 再考察 戦闘速度だけじゃ反応がつかないからダメ。攻撃力が異常なほど高いが、防御はそれには及ばない。 まあ地面をぶん殴れば衝撃波で周囲を巻き込めそうだけどね。 ○戦車×1000台 余裕。 ○村山斬華 余裕で耐えて地面ぶん殴って勝ち ×割と早く動く大きな落とし穴 戦闘速度だけじゃ移動速度が足りないからダメ。落下して負け △ガウリィ 分け ○田中鈴木 念力で土砂を止めてパンチ勝ち ○オジロワシ~レベル1m パンチ勝ち ×量産型クローンレイナーレ部隊 50人で一斉に槍を爆破させられれば流石に通じる ○ミスターマッコウ ぶん殴って勝ち ○小鳥遊六花 地面ぶん殴って勝ち ×上条恭介 バイオリン負け ×コンバット・ブルース 爆撃負け ○銀さん 必死で耐えて地面ぶん殴って勝ち ×剣道部にいる先輩 竹刀で一方的にボコボコに殴られ負け ×アッザム 浮いてるので当たらず、アッザムリーダー負け ×ムサシ ビル破壊級のムラマサで滅多切りにされて負け ×爆撃機 空中から一方的に焼かれて負け 上条恭介>C言語成人男性>小鳥遊六花
https://w.atwiki.jp/777sushi/pages/18.html
posix,c89,c99,GNU拡張 C言語QA http //www.st.rim.or.jp/~phinloda 推奨されるCのスタイルとコーディング標準 http //dennou-k.gaia.h.kyoto-u.ac.jp/arch/comptech/cstyle/cstyle-ja.htm